#!/bin/bash
R="$(cd "$(dirname "$0")/../Resources" && pwd)"
exec "$R/python/bin/python3" "$R/mani/launcher.py" "$@"
